propositionnel

propositionnel

propositionnel, elle [ prɔpozisjɔnɛl ] adj.
• 1928; de proposition
Log. Qui est relatif aux propositions de la logique. Logique propositionnelle et logique fonctionnelle.
Math. Calcul propositionnel : branche de la logique mathématique qui étudie les assemblages de propositions.

propositionnel, propositionnelle adjectif Qui concerne une proposition, qui formule une ou plusieurs propositions : Les partis ont un rôle propositionnel. En logique, qui concerne la proposition. ● propositionnel, propositionnelle (expressions) adjectif Calcul propositionnel, synonyme de calcul des propositions. Fonction propositionnelle, expression contenant une ou plusieurs variables libres et qui est susceptible de devenir une proposition vraie ou fausse si l'on attribue à ces variables certaines valeurs particulières ou si on lie ces variables par des quantificateurs. ● propositionnel, propositionnelle (synonymes) adjectif Calcul propositionnel
Synonymes :

propositionnel, elle [pʀɔpozisjɔnɛl] adj.
ÉTYM. 1951; de proposition.
Log. Qui est relatif aux propositions (I., 2.) de la logique. || Logique propositionnelle et logique fonctionnelle. || Opérateur propositionnel. || Fonction, forme propositionnelle : « expression verbale ou algorithmique contenant une ou plusieurs variables et qui devient une proposition si ces variables sont remplacées par des valeurs fixes » (Lalande). || Variables propositionnelles.
Psychol. || Opérations propositionnelles : opérations de la pensée consistant à manipuler des propositions hors de toute référence immédiate.

Encyclopédie Universelle. 2012.

Игры ⚽ Нужно решить контрольную?

Regardez d'autres dictionnaires:

  • PROPOSITIONNEL (CALCUL) — PROPOSITIONNEL CALCUL Logique des propositions inanalysées, reliées par des connecteurs propositionnels (non; et; ou; si..., alors...), qui sont des foncteurs de vérité; ce qui signifie que la valeur de vérité du composé est directement et… …   Encyclopédie Universelle

  • Calcul propositionnel — Calcul des propositions Pour les articles homonymes, voir Déduction. Le calcul des propositions ou calcul propositionnel est une théorie logique qui définit les lois formelles du raisonnement. C est la version moderne de la logique stoïcienne. C… …   Wikipédia en Français

  • Calcul propositionnel — ● Calcul propositionnel synonyme de calcul des propositions …   Encyclopédie Universelle

  • Opérateur propositionnel — ● Opérateur propositionnel connecteur qui, à tout groupe de propositions (arguments de l opérateur), fait correspondre une proposition et une seule. (Presque tous les opérateurs propositionnels sont des connecteurs.) …   Encyclopédie Universelle

  • Théorème de complétude du calcul propositionnel — Théorème de complétude (calcul des propositions) Le calcul des propositions est un calcul logique restreint. On emploie souvent le nom de proposition pour désigner une formule logique non quantifiée. Il existe deux façons de valider une formule P …   Wikipédia en Français

  • propositionnelle — ● propositionnel, propositionnelle adjectif Qui concerne une proposition, qui formule une ou plusieurs propositions : Les partis ont un rôle propositionnel. En logique, qui concerne la proposition. ● propositionnel, propositionnelle (expressions) …   Encyclopédie Universelle

  • LOGIQUE MATHÉMATIQUE — La logique au sens étroit du terme, c’est à dire la logique formelle par opposition à l’épistémologie ou à la théorie de la connaissance, se propose de donner une théorie de l’inférence formellement valide. Elle considère comme valide toute… …   Encyclopédie Universelle

  • Calcul des propositions — Pour les articles homonymes, voir Déduction. Le calcul des propositions ou calcul propositionnel est une théorie logique qui définit les lois formelles du raisonnement. C est la version moderne de la logique stoïcienne. C est aussi la première… …   Wikipédia en Français

  • Antilogie — Calcul des propositions Pour les articles homonymes, voir Déduction. Le calcul des propositions ou calcul propositionnel est une théorie logique qui définit les lois formelles du raisonnement. C est la version moderne de la logique stoïcienne. C… …   Wikipédia en Français

  • Calcul Des Propositions — Pour les articles homonymes, voir Déduction. Le calcul des propositions ou calcul propositionnel est une théorie logique qui définit les lois formelles du raisonnement. C est la version moderne de la logique stoïcienne. C est aussi la première… …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”